[coreboot] [PATCH] v3: s/BIOS_DEBUG/DEBUG/ etc. for printk()

[Peter Stuge]

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