[PATCH v3 11/30] x86: Use if instead of #ifdef in write_tables()