login: df5519: [1] isa_dma_acquire(2)  = 0 (expect 0)
isa_dma_acquire: channel 34 already in use
df5519: [1] isa_dma_acquire(34) = 16 (expect 16=EBUSY: 1<<34 wrapped onto bit 2)
df5519: [2] after isa_dma_release(34): isa_dma_acquire(2) = 0 (expect 0: release(34) cleared bit 2)
df5519: [3] isa_dma_acquire(9)  = 0 (expect 0: invalid chan accepted, no DIAGNOSTIC panic)
df5519: PROVEN: chan validation compiled out in production; 1<<chan wraps for chan>=32