This would potentially avoid debugging experiences such as https://github.com/seL4/microkit/issues/263. See my comment for details: https://github.com/seL4/microkit/issues/263#issuecomment-2628672065.