$KERNEL should this be held or sold?