I think it would be interesting to have a buildrom option for 'build EFI'. It could fetch tiano core and build an EFI from that. Somebody want to take this on as a project? It would really be valuable. Then we could just say "oh, you want EFI? It's a simple config option to the coreboot buildrom tool". ron