ivory-px4-hw: BUG HOTFIX: px4-ms5611-test fails without uart driver built in as dead code!
ivory-px4-hw: BUG HOTFIX: px4-ms5611-test fails without uart driver built in as dead code!

* going to have to circle back and figure this one out, but the reasons have eluded me so far

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