Re: [PATCH 2/7] rockchip: px30: list possible SPL boot devices