x86: Use if instead of #ifdef in write_tables()