The x86 kernel source is there, you just have to look inside it and you'll notice folders in saying i386 and ppc ;)