Build with prebuilt kernel