libSDL 1.2.15 with KMS and Dispmanx (Raspberry Pi VC) backends, with working double buffer + vsync