[PATCH 4/6] Try both uImage-GTA02.bin and uImage-GTA02.bin.2 on first partition

[Timo Juhani Lindfors]

This patch makes it possible to choose between two different kernels
without having to have two SD card partitions.
---
 src/cpu/s3c2442/gta02.c |   13 +++++++++++--
 1 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/src/cpu/s3c2442/gta02.c b/src/cpu/s3c2442/gta02.c
index 7dba31b..d3ca634 100644
--- a/src/cpu/s3c2442/gta02.c
+++ b/src/cpu/s3c2442/gta02.c
@@ -36,7 +36,7 @@
 #define GTA02_DEBUG_UART 2
 #define PCF50633_I2C_ADS 0x73
 #define BOOST_TO_400MHZ 1
-#define KERNEL_SOURCE_NAND_INDEX 3
+#define KERNEL_SOURCE_NAND_INDEX 4
 
 static int battery_condition_reasonable = 0;
 
@@ -711,6 +711,15 @@ const struct board_api board_api_gta02 = {
 			.commandline_append = " root=/dev/mmcblk0p1 rootdelay=1 ",
 		},
 		[1] = {
+			.name = "SD Card EXT2 P1 Kernel",
+			.block_init = sd_card_init_gta02,
+			.block_read = sd_card_block_read_gta02,
+			.partition_index = 1,
+			.filesystem = FS_EXT2,
+			.filepath = "boot/uImage-GTA02.bin.2",
+			.commandline_append = " root=/dev/mmcblk0p1 rootdelay=1 ",
+		},
+		[2] = {
 			.name = "SD Card EXT2 P2 Kernel",
 			.block_init = sd_card_init_gta02,
 			.block_read = sd_card_block_read_gta02,
@@ -719,7 +728,7 @@ const struct board_api board_api_gta02 = {
 			.filepath = "boot/uImage-GTA02.bin",
 			.commandline_append = " root=/dev/mmcblk0p2 rootdelay=1 ",
 		},
-		[2] = {
+		[3] = {
 			.name = "SD Card EXT2 P3 Kernel",
 			.block_init = sd_card_init_gta02,
 			.block_read = sd_card_block_read_gta02,
-- 
1.7.2.5