[PATCH v2 3/3] efi_selftest: substitute ResetSystem() by do_reset()