Stub function of null_gfx_restart when HAVE_MENU is defined