Add IST_* macros to <machine/intr.h>, mostly for the feature-list tickbox. Generally tidy up.
of exact-width integer types.