ivory: formatting wibbles.
smaccm-mavlink: remove GHC warnings.