Separate 32- and 64-bit images
Further interrupts work