arm: Tegra2: Change mach-type to MACH_TYPE_SEABOARD due to mach-types.h update