devices (obio_norm) or optional address, HSK, and DMA for 5380-based SCSI controllers (obio_scsi5380). Update all obio-attached drivers appropriately. Also, attach fpu to mainbus, rather than obio.