diff --git a/bootloader/mrobe500.c b/bootloader/mrobe500.c
index 6a31dc22d0..1d7109c77d 100755
--- a/bootloader/mrobe500.c
+++ b/bootloader/mrobe500.c
@@ -212,7 +212,7 @@ void main(void)
     printf("Loading firmware");
 
     loadbuffer = (unsigned char*) 0x00900000;
-    buffer_size = (unsigned char*)0x04900000 - loadbuffer;
+    buffer_size = (unsigned char*)0x01900000 - loadbuffer;
 
     rc = load_firmware(loadbuffer, BOOTFILE, buffer_size);
     if(rc < 0)
diff --git a/firmware/target/arm/tms320dm320/spi-dm320.c b/firmware/target/arm/tms320dm320/spi-dm320.c
index b36456b520..e9dd2e01a3 100644
--- a/firmware/target/arm/tms320dm320/spi-dm320.c
+++ b/firmware/target/arm/tms320dm320/spi-dm320.c
@@ -31,7 +31,7 @@
 #define GIO_TS_ENABLE  (1<<2)
 #define GIO_RTC_ENABLE (1<<12)
 
-struct mutex spi_lock;
+struct spinlock spi_lock;
 
 struct SPI_info {
     volatile unsigned short *setreg;
diff --git a/firmware/thread.c b/firmware/thread.c
index 1265877d68..f9d8e01499 100644
--- a/firmware/thread.c
+++ b/firmware/thread.c
@@ -608,7 +608,8 @@ static inline void core_sleep(struct thread_entry **waking)
 #else
 static inline void core_sleep(struct thread_entry **waking)
 {
-
+    (void) waking;
+#warning core_sleep not implemented, battery life will be decreased
 }
 #endif /* CONFIG_CPU == */