printk_foo -> printk(BIOS_FOO, ...)
[coreboot.git] / src / boot / Makefile.inc
2009-08-12 Patrick GeorgiKconfig!