firmwarehotplug requires the non-free version of sdcc (#4066)