Make `InterruptModel` non_exhaustive
This makes it not-a-breaking-change to add new interrupt models in the
future, and isn't a big onus on users as they'll likely want a wildcard
pattern anyway, as not all interrupt models will be supported on their
architecture anyway.