Revert "include the kernel as prebuilt for now"

This reverts commit 2d0de933f03b22866ad7b98ab6cacb9e676ac5f9.