Add the picotux 200 ARM board:
 - Enable its machine type in the filter in head.S
 - Add configuration option
 - Add board initialisation
 - Add default configuration
Signed-off-by: NSimon Richter <Simon.Richter@kleinhenz.com>
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>