smultron: remove prebuilt kernel