[coreboot] Build error/warning on 32bit host?