[PATCH 4.4 26/35] Xen/x86: also check kernel mapping in set_foreign_p2m_mapping()