Kernel for Raspberry Pi, based on Raspbian. CK and BFS patches applied.