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 a72bf086a46212a1486f86f20c2adb922b0b326f..615222f22feb7435bef0595d9ac9460034250977 100644 (file)
--- a/board/raspberrypi/rpi/rpi.c
+++ b/board/raspberrypi/rpi/rpi.c
@@ -501,6 +501,8 @@ int misc_init_r(void)
        set_board_info();
 #endif
        set_serial_number();
+       env_set("devtype", boot_interface);
+       env_set("devnum", "0");
 
        return 0;
 }