ArmVirtPkg/HighMemDxe: allow patchable PCD for PcdSystemMemoryBase