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

[ron minnich]

Let's leave it alone. There's no strong feeling for changing it and
these patches make it *really* hard for people who are working on
private mods.

ron