x86, mm: support huge KVA mappings on x86