Minor kernel name update