Kconfig: add missing Makefile entries