MPTABLE_BASE
startaddr = paddr_guest2host(ctx, MPTABLE_BASE, MPTABLE_MAX_LENGTH);
mpt_build_mpfp(mpfp, MPTABLE_BASE);
mpch->oem_table_pointer = curraddr - startaddr + MPTABLE_BASE;