[U-Boot] [PATCH] x86: Correct the typo in write_tables()