New PATCH release 07.02.01 Changes since 07.02.00: fix FirmwareSEUDetection module not being present on slave systems