This adds basic booting support and selects CONFIG_MACH_NOKIA_N810 since
most of the HW and configuration are the same in N810 and N810 WiMAX.
Signed-off-by: Jarkko Nikula <jarkko.nikula@nokia.com>
Signed-off-by: Tony Lindgren <tony@atomide.com>