Firmware in Systems Research at KIT