x86, 32-bit: Use same regs as 64-bit for kernel_thread_helper