CONFIG_SERIAL_8250_MANY_PORTS should not be set for these boards, as
they only have 2 serial ports.
Signed-off-by: Tom Rini <trini@kernel.crashing.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>