[coreboot-gerrit] Patch merged into coreboot/master: 922b3ca ARM: Fix ARM_LPAE to not be selectable as a menu item.