4f8b6cf25f5c ("x86/boot/64: Use RIP_REL_REF() to access '__supported_pte_mask'")