PulkoMandy 83f5e2a258 Fix stack alignment for bootloader.
The ARM SP is pointing to the top item of the stack, not the first free
byte. This was confusing dprintf making it fail to print 64bit integers.
2014-09-02 17:01:27 +02:00
..
2014-07-14 19:02:44 -04:00
2014-08-10 15:04:44 -04:00