ROMAddress now returned from getInterruptDest(...) and an additional ROMAddress constructor for this purpose.