FreeRTOS-10 - minor fixes

Author: feilipu

src/FreeRTOSConfig.h

@@ -48,7 +48,7 @@
 #define configUSE_IDLE_HOOK                 1
 #define configUSE_TICK_HOOK                 0
 #define configCPU_CLOCK_HZ                  ( ( uint32_t ) F_CPU )			// This F_CPU variable set by the environment
-#define configMAX_PRIORITIES                ( ( UBaseType_t ) 4 )
+#define configMAX_PRIORITIES                4
 #define configMINIMAL_STACK_SIZE            ( ( UBaseType_t ) 85 )
 #define configIDLE_STACK_SIZE               ( ( UBaseType_t ) 192 )
 #define configMAX_TASK_NAME_LEN             ( 8 )

src/stream_buffer.c

@@ -36,7 +36,7 @@ task.h is included from an application file. */
 #define MPU_WRAPPERS_INCLUDED_FROM_API_FILE
 
 /* FreeRTOS includes. */
-#include "FreeRTOS.h"
+#include "Arduino_FreeRTOS.h"
 #include "task.h"
 #include "stream_buffer.h"