¿retener o vender $KERNEL ?