Revert "remove prebuilt kernel dependency"

This reverts commit c1f86879202e9fdf39cc44aa1dd5c55930b340b3.