Found what seems to be the corresponding upstream bug, in the sense that the suggested workaround, adding "hpet=disable" at boot prompt, works.
Found what seems to be the corresponding upstream bug, in the sense that the suggested workaround, adding "hpet=disable" at boot prompt, works.