Hi all,
I have updated the point that where passed to me.
- Moved the register CONFIG items for the drivers to the board Kconfig. - Placed the PCMCIA./CardBus drivers all to one file, with #if(s) to make sure that only included in the code that was selected for a board. - Unfortunate we still need ti dirty hack in arch\i386\boot \pirq_routing.c this should be fixed within the code of coreboot. But my unfamiliarly with that code its not a good idea that i make that fix. But i'm of cource willing to patch it on the Nokia code and test it. I hope that you will consider applying the patch for the mean while, its guarded by the #if CONFIG_BOARD_NOKIA_IP530 so nobody shall have any problems with it.
Marc