Build fixes for VRBrain boards

Fixes two bugs preventing a proper build for VRBrain Boards:
1) DEVIOCGDEVICEID is not defined in VRNuttX (https://github.com/virtualrobotix/vrbrain_nuttx/issues/2)
2) https://github.com/diydrones/ardupilot/commit/569339283841eb2cd19a0ad2c68c24fe4261a2c1 made VRBrain boards use PX4 INS/BARO/COMPASS