BUDGET_KNC1C_MK3
MAKE_BUDGET_INFO(satewcmk3, "Satelco EasyWatch DVB-C MK3", BUDGET_KNC1C_MK3);
MAKE_BUDGET_INFO(knc1cmk3, "KNC1 DVB-C MK3", BUDGET_KNC1C_MK3);
case BUDGET_KNC1C_MK3:
case BUDGET_KNC1C_MK3: