if ROCKCHIP_RK3288
 
-config TARGET_FIREFLY_RK3288
-       bool "Firefly-RK3288"
+config TARGET_CHROMEBOOK_JERRY
+       bool "Google/Rockchip Veyron-Jerry Chromebook"
        select BOARD_LATE_INIT
        help
-         Firefly is a RK3288-based development board with 2 USB ports,
-         HDMI, VGA, micro-SD card, audio, WiFi  and Gigabit Ethernet, It
-         also includes on-board eMMC and 1GB of SDRAM. Expansion connectors
-         provide access to display pins, I2C, SPI, UART and GPIOs.
+         Jerry is a RK3288-based clamshell device with 2 USB 3.0 ports,
+         HDMI, an 11.9 inch EDP display, micro-SD card, touchpad and
+         WiFi. It includes a Chrome OS EC (Cortex-M3) to provide access to
+         the keyboard and battery functions.
+
+config TARGET_CHROMEBIT_MICKEY
+       bool "Google/Rockchip Veyron-Mickey Chromebit"
+       select BOARD_LATE_INIT
+       help
+         Mickey is a small RK3288-based device with one USB 3.0 port, HDMI
+         and WiFi. It has a separate power port and is designed to connect
+         to the HDMI input of a monitor or TV. It has no internal battery.
+         Typically a USB hub or wireless keyboard/touchpad is used to get
+         keyboard and mouse access.
+
+config TARGET_CHROMEBOOK_MINNIE
+       bool "Google/Rockchip Veyron-Minnie Chromebook"
+       select BOARD_LATE_INIT
+       help
+         Minnie is a RK3288-based convertible clamshell device with 2 USB 3.0
+         ports, micro HDMI, a 10.1-inch 1280x800 EDP display, micro-SD card,
+         HD camera, touchpad, WiFi and Bluetooth. It includes a Chrome OS
+         EC (Cortex-M3) to provide access to the keyboard and battery
+         functions. It includes 2 or 4GB of SDRAM and 16 or 32GB of
+         internal MMC. The product name is ASUS Chromebook Flip.
 
 config TARGET_EVB_RK3288
        bool "Evb-RK3288"
          includes on-board eMMC and 2GB of SDRAM. Expansion connectors
          provide access to display pins, I2C, SPI, UART and GPIOs.
 
+config TARGET_FIREFLY_RK3288
+       bool "Firefly-RK3288"
+       select BOARD_LATE_INIT
+       help
+         Firefly is a RK3288-based development board with 2 USB ports,
+         HDMI, VGA, micro-SD card, audio, WiFi  and Gigabit Ethernet, It
+         also includes on-board eMMC and 1GB of SDRAM. Expansion connectors
+         provide access to display pins, I2C, SPI, UART and GPIOs.
+
 config TARGET_POPMETAL_RK3288
        bool "PopMetal-RK3288"
        select BOARD_LATE_INIT
          2GB DDR3. Expansion connectors provide access to I2C, SPI, UART,
          GPIOs and display interface.
 
-config TARGET_TINKER_RK3288
-       bool "Tinker-RK3288"
-        select BOARD_LATE_INIT
-       help
-         Tinker is a RK3288-based development board with 2 USB ports, HDMI,
-         micro-SD card, audio, Gigabit Ethernet. It also includes on-board
-         8GB eMMC and 2GB of SDRAM. Expansion connectors provide access to
-         I2C, SPI, UART, GPIOs.
-
-config TARGET_CHROMEBOOK_JERRY
-       bool "Google/Rockchip Veyron-Jerry Chromebook"
-       select BOARD_LATE_INIT
-       help
-         Jerry is a RK3288-based clamshell device with 2 USB 3.0 ports,
-         HDMI, an 11.9 inch EDP display, micro-SD card, touchpad and
-         WiFi. It includes a Chrome OS EC (Cortex-M3) to provide access to
-         the keyboard and battery functions.
-
-config TARGET_CHROMEBIT_MICKEY
-       bool "Google/Rockchip Veyron-Mickey Chromebit"
-       select BOARD_LATE_INIT
-       help
-         Mickey is a small RK3288-based device with one USB 3.0 port, HDMI
-         and WiFi. It has a separate power port and is designed to connect
-         to the HDMI input of a monitor or TV. It has no internal battery.
-         Typically a USB hub or wireless keyboard/touchpad is used to get
-         keyboard and mouse access.
-
-config TARGET_CHROMEBOOK_MINNIE
-       bool "Google/Rockchip Veyron-Minnie Chromebook"
-       select BOARD_LATE_INIT
-       help
-         Minnie is a RK3288-based convertible clamshell device with 2 USB 3.0
-         ports, micro HDMI, a 10.1-inch 1280x800 EDP display, micro-SD card,
-         HD camera, touchpad, WiFi and Bluetooth. It includes a Chrome OS
-         EC (Cortex-M3) to provide access to the keyboard and battery
-         functions. It includes 2 or 4GB of SDRAM and 16 or 32GB of
-         internal MMC. The product name is ASUS Chromebook Flip.
-
 config TARGET_ROCK2
        bool "Radxa Rock 2"
        select BOARD_LATE_INIT
          space for a real-time-clock battery. There is also an expansion
          interface which provides access to many pins.
 
+config TARGET_TINKER_RK3288
+       bool "Tinker-RK3288"
+        select BOARD_LATE_INIT
+       help
+         Tinker is a RK3288-based development board with 2 USB ports, HDMI,
+         micro-SD card, audio, Gigabit Ethernet. It also includes on-board
+         8GB eMMC and 2GB of SDRAM. Expansion connectors provide access to
+         I2C, SPI, UART, GPIOs.
+
 config ROCKCHIP_FAST_SPL
        bool "Change the CPU to full speed in SPL"
        depends on TARGET_CHROMEBOOK_JERRY