aerofc-v1:spi_dev_e is now uint32_t in NuttX

   Using new type of uint32_t for spi device and macros
   that define a PX4 device on a given BUS and Chip Select