For those who want to play with this and have a 64-bit debian-based system, you can download a kernel .deb

See mail:
http://lists.cs.uiuc.edu/pipermail/c...er/011804.html