Linux kernel dumps 386 chip support