Re: [U-Boot] [PULL] rpi patch queue 2018-05-24