[PATCH kernel-4.19 40/50] Xen/x86: also check kernel mapping in set_foreign_p2m_mapping()