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