Re: [PATCH 1/1] test: fix launch_efi()