Corey Osgood wrote: > screws up everyone that's used to BIOS_X, and I can't really see > any benefit to a different name I think changing "BIOS" is a good idea. It's just misleading to have that in coreboot source. //Peter