[U-Boot] [PATCH v4 0/9] LS2080ARDB: Enable EFI boot support