how much $ sell kernel token