ivory-px4-hw: hmc5883 test works when i2c address corrected
ivory-px4-hw: hmc5883 test works when i2c address corrected

* messed up the shift down by two when translating from spec

GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32