use prebuilt kernel until 2nd-boot is sorted