hv:Revise sanitized page size
now the size of sanitized_page is 32KB,
revise it to 4KB.
Acked-by: Anthony Xu
#include <reloc.h>
static void *ppt_mmu_pml4_addr;
-static void *sanitized_page[CPU_PAGE_SIZE];
+static uint8_t sanitized_page[PAGE_SIZE] __aligned(PAGE_SIZE);
static struct vmx_capability {
uint32_t ept;
