Hello again, Apparently this issue has been around for quite a while. What a pity it hasn't been properly put to bed yet.
https://bugzilla.redhat.com/show_bug.cgi?id=128428 For the time being I've added clock=tsc to my kernel boot command line as a workaround. This resolves my immediate 'ping' problem but I have no idea how many other worms are in the can, nor what they might look like. -- 73, Ged. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org