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