SOLVED! Switching to a 64-bit kernel did the trick. I booted on the Ubuntu 13.04 64-bit live CD, and disk operations are speedy. Thank you to everybody who helped out with suggestions and the occasional snarky comment about 32-bit PAE! :-) -- Dan Barrett dbarrett at blazemonger.com