Scusate il ritardo: grazie a tutti innanzitutto; quindi alla fine ho capito che non ho selezionato la voce del kernel. Però che peccato perché adesso non ho coraggio a ricompilarlo di nuovo "solo" per inserire il bootsplash.