x86 smpboot_32.c section fixes