IXDP2401 config file has wrong baudrate and both boards have 3 UARTs.
Signed-off-by: NDeepak Saxena <dsaxena@plexity.net>
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>