[U-Boot] [PATCH v2 08/18] x86: Use high_table_malloc() for tables passing to SeaBIOS