B14CKB1RD kernel name for comanche