$KERNEL hold or sell??