Could anyone please point me to a tarball with the kernel sources? Or the link to a precompiled and patched kernel binary I could use? Not using a Debian-style distro really hurts in this environment :P