[U-Boot] [PATCH 0/2] efi_loader: Implement reset on RPi