Another correction in arch/x86/kernel/head_32.S