Now that we already reserved high memory for configuration tables,
call high_table_malloc() to allocate tables from the region.
Signed-off-by: Bin Meng <bmeng.cn@gmail.com>
Reviewed-by: Simon Glass <sjg@chromium.org>
  */
 
 #include <common.h>
-#include <malloc.h>
 #include <asm/sfi.h>
 #include <asm/mpspec.h>
 #include <asm/smbios.h>
 
 #ifdef CONFIG_SEABIOS
                table_size = rom_table_end - rom_table_start;
-               high_table = (u32)memalign(ROM_TABLE_ALIGN, table_size);
+               high_table = (u32)high_table_malloc(table_size);
                if (high_table) {
-                       memset((void *)high_table, 0, table_size);
                        table_write_funcs[i](high_table);
 
                        cfg_tables[i].start = high_table;