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