Works now. I'm pretty sure I tried this combination earlier - attached to eth0, static IP in /etc/network/interfaces - but before I was able to try it again we'd scheduled a reboot to do some BIOS changes. And now it works. Somebody else reports "restarting" as a fix: http://forums.virtualbox.org/viewtopic.php?f=7&t=18632