[PATCH 1/1] efi_driver: provide SBI based runtime system reset