Oops. I discovered that one has to attach the DVD/CD drives as IDE masters in order for VirtualBox to try to boot from them.