Add back prebuilt kernel