* docs/grub.texi (Simple configuration): Document ${GRUB_BADRAM}.
(Command-line and menu entry commands): Document `badram' command.
* docs/grub.texi (Simple configuration): Document ${GRUB_BADRAM}.
(Command-line and menu entry commands): Document `badram' command.