PX4IO firmware: Add required include.
README: Fix up build status badge
Updated NuttX
Output GCC version