Draft: allow using an external symbol as a semaphore#26

bonzini wants to merge 6 commits intocuviper:mastercuviper/probe-rs:masterfrom

bonzini:extern-semaphorebonzini/probe-rs:extern-semaphoreCopy head branch name to clipboard