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