kontrol: add cache invalidation and test
kontrol_test: also check for inverste situation