I wonder how the hell they got that double frame buffer to work...
In their site, they simply say that they "added double framebuffer to kernel".