[U-Boot] [PATCH] Tegra2 Seaboard: Fix mach_type to match mach-type.h update