fixes to defconfig, kalimenu