I am still having that problem (__kernel_vsyscall), although having the mentioned updates installed:
acpi-support 0.108 grub 0.97-29ubuntu19 hal 0.5.11~rc2-1ubuntu2 libhal-storage1 0.5.11~rc2-1ubuntu2 libhal1 0.5.11~rc2-1ubuntu2 libx86-1 0.99-1.2ubuntu3
I am still having that problem (__kernel_ vsyscall) , although having the mentioned updates installed:
acpi-support 0.108
grub 0.97-29ubuntu19
hal 0.5.11~rc2-1ubuntu2
libhal-storage1 0.5.11~rc2-1ubuntu2
libhal1 0.5.11~rc2-1ubuntu2
libx86-1 0.99-1.2ubuntu3