x86, apic: clean up arch/x86/kernel/bigsmp_32.c