Spurious reset of the picomux firmware

It looks like after a short time (often less than an hour), the picomux positions read by PicoControl are reset. This seems to indicate a reset of the picomux firmware, may be due to a memory leak. To be confirmed using the serial console output.