[U-Boot] [PATCH] arm: exynos: odroid: Fix build if BOARD_TYPES are not set