Re: [PATCH v2 1/9] spl: Try to get SPL boot device via board_get_int