On Mon, 2020-02-17 at 16:55 +0100, Marek Szyprowski wrote:
> Add drivers needed to boot Raspberry Pi4 board.
> 
> Signed-off-by: Marek Szyprowski <m.szyprowski@samsung.com>
> ---

Patch applied.

Thanks!
Nicolas