* Resynchronise with Debian.  Remaining changes:
  - Default to hiding the menu; holding down Shift at boot will show it.
  - Add crashkernel option.
  - Bypass menu unless other OSes are installed or Shift is pressed.
  - Show the boot menu if the previous boot failed.
  - Check hardware support before using gfxpayload=keep.
  - Set vt.handoff=7 for smooth handoff to kernel graphical mode.
  - In recovery mode, add nomodeset to the Linux kernel arguments, and
    remove the 'set gfxpayload=keep' command.
  - Handle probing striped DM-RAID devices.