[coreboot] Re: General protection fault in `switch_mm_irqs_off()`