x86: Correct the typo in write_tables()