rpi: set devtype/devnum envs for the detected boot medium

Set 'devtype' and 'devnum' envs (same as in the standard distro_boot) for
the detected boot medium, so they can be used in the boot scripts.

Signed-off-by: Marek Szyprowski <m.szyprowski@samsung.com>
Change-Id: Ibd828dc1e07cc23e9f4e89f609d475b56b8d9129

diff --git a/board/raspberrypi/rpi/rpi.c b/board/raspberrypi/rpi/rpi.c
index 1a5f645..6e32710 100644 (file)
--- a/board/raspberrypi/rpi/rpi.c
+++ b/board/raspberrypi/rpi/rpi.c
@@ -502,6 +502,8 @@ int misc_init_r(void)
        set_board_info();
 #endif
        set_serial_number();
+       env_set("devtype", boot_interface);
+       env_set("devnum", "0");
 
        return 0;
 }