efi/printf: Turn vsprintf into vsnprintf