Grub menu not displayed with grub 2.12

Since Grub 2.12, on some systems (include some of mine) grub doesn't show up anymore. It is only a display issue. It worked fine with 2.06 but there is a regression.

Bug of GRUB is described at https://savannah.gnu.org/bugs/?65503

Would you consider using one of the simple workarounds, like this one? https://savannah.gnu.org/bugs/?65503#comment2

Adding an echo "something" statement at the very beginning of the grub.cfg file would be sufficient (tested).