Use prebuilt kernel instead of building zImage