mako_hotplug.c: fix mismatches