Remove kernel patch and add patches for swapfile and libc

The patched kernel source is now available in a dedicated repository.