nozomi: use prebuilt kernel