[PATCH] raspberry pi memory alignment fix in CP15

[Sebastian Huber]

http://git.rtems.org/rtems/commit/?id=9159711ffe4305b3a41e2ebcf83114f85a51c689

-- 
Sebastian Huber, embedded brains GmbH

Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone   : +49 89 189 47 41-16
Fax     : +49 89 189 47 41-09
E-Mail  : sebastian.huber at embedded-brains.de
PGP     : Public key available on request.

Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.