anybody have any idea when they're going to upload a new kernel deb file .. or maybe someone can post their own linux kernel .deb file? even with that PCI option in xorg.conf, my desktop feels so...