[PATCH 1/1] efi_driver: fix efi_uc_stop()