ivory fix: remove deprecated code that shouldn't have been around anyway
ivory fix: remove deprecated code that shouldn't have been around anyway

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