The kernel gets a new mascot