The total value of $KERNEL is still too expensive