leo: Use prebuilt kernel