Revert: custom kernel, needs toolchain