pixhawk.xml: moved to uint32_t for the ids