Add GPIO buttons and LEDs
software/videomixer: better pot calibration
software/videomixer: support additive blending (enable with SW1, status on LED)
framebuffer: saturate instead of overflow