I am beginning to suspect that my box (and me, for that matter) may have a memory problem. But when I restart and press <ESC>, I get the grub menu...