nozomi: use a prebuilt kernel (just in case)