More tweaks to get a first binary onto PX4FMU

mostly related to stuff that isn't supported by nuttx