Should be a very small change: https://github.com/oxidecomputer/omicron/pull/8842
Should be a very small change: oxidecomputer/omicron#8842