fix install of custom kernel