b512e1b077e5 ("Xen/x86: also check kernel mapping in set_foreign_p2m_mapping()")