KERNEL_CONFIG = appliances/$(APPLIANCE)/kernel.config