x86: eliminate duplicate consistency checks in init_32.c