[PATCH 5.4 05/13] Xen/x86: also check kernel mapping in set_foreign_p2m_mapping()