boot/efi: lighten the asm constraints for gcc