[coreboot] [RFC] Null pointer trap?