Constant PARAVISOR_VTL0_MEASURED_CONFIG_BASE_PAGE_AARCH64

pub const PARAVISOR_VTL0_MEASURED_CONFIG_BASE_PAGE_AARCH64: u64 = _; // 4_096u64

The physical page number for where the vtl 0 measured config is stored, aarch64. Not obvious about guaranteed existence. 16MiB might be a reasonable assumption as:

• UEFI uses the GPA range of [0; 0x800000), after that there are page tables, stack, and the config blob at GPA 0x824000,
• Gen 2 VMs don’t work with less than 32MiB,
• the loaders have checks for overlap.