Add linux-menuconfig convenience target