[ion][liba] Add 'noinline' attribute for symbols that have to be in

internal flash (we don't need to consider these symbol dependencies
though)

ion/src/device/shared/boot/rt0.cpp

@@ -18,7 +18,7 @@ extern "C" {
   extern cxx_constructor _init_array_end;
 }
 
-void abort() {
+void __attribute__((noinline)) abort() {
 #if DEBUG
   while (1) {
   }
@@ -120,6 +120,6 @@ void __attribute__((noinline)) start() {
   abort();
 }
 
-void __attribute__((interrupt)) isr_systick() {
+void __attribute__((interrupt, noinline)) isr_systick() {
   Ion::Device::Timing::MillisElapsed++;
 }

liba/src/assert.c

@@ -1,6 +1,6 @@
 #include <assert.h>
 #include <stdlib.h>
 
-void __assert(const char * expression, const char * file, int line) {
+void __attribute__((noinline)) __assert(const char * expression, const char * file, int line) {
   abort();
 }

liba/src/memcpy.c

@@ -3,7 +3,7 @@
 // Work around https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51205
 void * memcpy(void * dst, const void * src, size_t n) __attribute__((externally_visible));
 
-void * memcpy(void * dst, const void * src, size_t n) {
+void * __attribute__((noinline)) memcpy(void * dst, const void * src, size_t n) {
   char * destination = (char *)dst;
   char * source = (char *)src;
 

liba/src/memset.c

@@ -3,7 +3,7 @@
 // Work around https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51205
 void * memset(void * b, int c, size_t len) __attribute__((externally_visible));
 
-void * memset(void * b, int c, size_t len) {
+void * __attribute__((noinline)) memset(void * b, int c, size_t len) {
   char * destination = (char *)b;
   while (len--) {
     *destination++ = (unsigned char)c;