80d0969aa783 ("x86/mm: Fix CR3_ADDR_MASK")