[bug #66257] grub menu gets stuck due to unreliable rdtsc instruction

--8323329-1983753898-1755914222=:288565
Content-Type: TEXT/plain; CHARSET=utf-8
Content-Transfer-Encoding: QUOTED-PRINTABLE
Content-Disposition: inline

Follow-up Comment #4, bug #66257 (group grub):=0A=0AThis should be resolved=
 by this commit:=0Ahttps://cgit.git.savannah.gnu.org/cgit/grub.git/commit/?=
id=3D531750f7bfc475332b2046dd516bab582ba7decf=0A=0AThis will be included in=
 the upcoming Grub 2.14 release.=0A=0A=0A    ______________________________=
_________________________=0A=0AReply to this item at:=0A=0A  <https://savan=
nah.gnu.org/bugs/?66257>=0A=0A_____________________________________________=
__=0AMessage sent via Savannah=0Ahttps://savannah.gnu.org/=0A
--8323329-1983753898-1755914222=:288565
Content-Type: APPLICATION/pgp-signature; name=signature.asc

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQQk97aszIMMAvLLwm6qLAuaBUf3TgUCaKkf7gAKCRCqLAuaBUf3
Tht9AQCOBbStz65AV/jbFwZ6llb0Ns3wTiy3EbKVRYIrnoq+dQD/VzEy55wLI/0h
ksDjvTyDOng9Nez7AROFflInnNKTbQQ=
=Nmgv
-----END PGP SIGNATURE-----

--8323329-1983753898-1755914222=:288565--