Re: [PATCH 1/1] efi_driver: simplify efi_uc_stop(), call efi_free_pool()