$KERNEL halten oder verkaufen??