An hour or so ago, my computer completely locked up. I hit the reset button, and the system did not boot. (It got stuck somewhere around "Verifying DMI pool data".) I hit reset again and it got stuck ...