tree 8843d47f45131b8ad51f35780b8377d18dbc8646
parent e0531f975ce124f4ebdd9c7b7b107673c5628f68
author Anatolij Gustschin <agust@denx.de> 1271850758 +0200
committer Tom <Tom@bumblecow.com> 1273508512 -0500

tx25: fix crash while booting Linux

Currently booting Linux on TX25 board doesn't work
since there is no correct mach-id and boot parameters
setup for tx25 board. Fix it now.

Signed-off-by: Anatolij Gustschin <agust@denx.de>
Cc: John Rigby <jcrigby@gmail.com>
Cc: Stefano Babic <sbabic@denx.de>