On Sun, Mar 14, 2010 at 06:34:59PM +0100, I wrote: > > Am I correct to assume that I can avoid the issue > by switching to a 64bit kernel (on host + guest)? Silly question ;-/ So what would be the real fix? Johannes