K 10 svn:author V 6 andrew K 8 svn:date V 27 2013-01-17T09:37:42.592304Z K 7 svn:log V 77 Add the required __aeabi_* functions the kernel uses when built for ARM EABI END