I was skimming Chris Pratley’s top 15 OneNote tips, and I realized that his first tip includes the reason why I don’t see the OneNote printer driver on my desktop machine. Apparently it is not supported on 64-bit Windows. Blech.
This post explains why, and includes a lot of unhappy comments from 64-bit users. I can’t say that I blame them. It really sucks (although the notion that this makes OneNote “unusable” or “broken” is a bit far-fetched.) Suggested workaround posted here.