Fix i386 kernel version