prebuilt kernel extracted from kernel source