Symbol: EFI_TABLE_ALLOC_MAX