[coreboot] r5511 broke my compile