Minor bugfixes in Infiniium 90000 driver