Merge tag 'efi-2019-07-rc4-2' of git://git.denx.de/u-boot-efi
[oweals/u-boot.git] / board / microchip /
drwxr-xr-x   ..
drwxr-xr-x - mpfs_icicle
drwxr-xr-x - pic32mzda