I missed that development, thanks! As I understand it, it's not strictly muxing per se - you're basically siphoning off the interrupts from the M0 core using a hardware mechanism instead of firmware + IPC, so any firmware you might want to run on the M0 core still needs to be careful not to mess this up. But it's still an improvement.