Fix build with CONFIG_DEBUG_RAM_SETUP on Intel 440BX, use printk().
[coreboot.git] / payloads /
drwxr-xr-x   ..
drwxr-xr-x - bayou
drwxr-xr-x - coreinfo
drwxr-xr-x - external
drwxr-xr-x - libpayload