Marc,
A couple of picky details I forgot to mention: - Since Nokia isn't an acronym, it should probably stay Nokia, not NOKIA in the board string. - The purpose of HAVE_ vs. GENERATE_ variables is: - HAVE_PIRQ_TABLES specifies that the board has a PIRQ table - GENERATE_PIRQ_TABLES lets the user decide if it should be built Since GENERATE_ defaults to HAVE_, board Kconfigs should just set HAVE_
Thanks, Myles