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