DataFlash: fix for HAL_SITL rename

libraries/DataFlash/DataFlash_File.cpp

@@ -651,7 +651,7 @@ void DataFlash_File::_io_timer(void)
           write.
          */
         BUF_ADVANCEHEAD(_writebuf, nwritten);
-#if CONFIG_HAL_BOARD != HAL_BOARD_AVR_SITL && CONFIG_HAL_BOARD_SUBTYPE != HAL_BOARD_SUBTYPE_LINUX_NONE
+#if CONFIG_HAL_BOARD != HAL_BOARD_SITL && CONFIG_HAL_BOARD_SUBTYPE != HAL_BOARD_SUBTYPE_LINUX_NONE
         ::fsync(_write_fd);
 #endif
     }

libraries/DataFlash/DataFlash_SITL.cpp

@@ -5,7 +5,7 @@
 
 #include <AP_HAL.h>
 
-#if CONFIG_HAL_BOARD == HAL_BOARD_AVR_SITL
+#if CONFIG_HAL_BOARD == HAL_BOARD_SITL
 
 #include <unistd.h>
 #include <stdlib.h>

libraries/DataFlash/DataFlash_SITL.h

@@ -4,7 +4,7 @@
 #ifndef __DATAFLASH_SITL_H__
 #define __DATAFLASH_SITL_H__
 
-#if CONFIG_HAL_BOARD == HAL_BOARD_AVR_SITL
+#if CONFIG_HAL_BOARD == HAL_BOARD_SITL
 
 #include <AP_HAL.h>
 #include "DataFlash.h"
@@ -47,5 +47,5 @@ public:
     bool        CardInserted();
 };
 
-#endif // CONFIG_HAL_BOARD == HAL_BOARD_AVR_SITL
+#endif // CONFIG_HAL_BOARD == HAL_BOARD_SITL
 #endif // __DATAFLASH_SITL_H__

libraries/DataFlash/examples/DataFlash_test/DataFlash_test.pde

@@ -7,7 +7,7 @@
 // Libraries
 #include <AP_HAL.h>
 #include <AP_HAL_AVR.h>
-#include <AP_HAL_AVR_SITL.h>
+#include <AP_HAL_SITL.h>
 #include <AP_HAL_Empty.h>
 #include <AP_HAL_PX4.h>