Fixes warning in coreboot.c