AP_Compass: DEVIOCGDEVICEID is (currently) not defined in VRNuttX
AP_HAL: use VRBRAIN INS/BARO/COMPASS for VRBRAIN boards