ArmVirtPkg: HighMemDxe: add memory space for the high memory nodes