[k200] Enable HDMI CEC
[k200] Update XBMC patches

Add a patch that maps the OK (Select), Back, Red, Green, Yellow and Blue buttons on HDMI CEC remote
to the appropriate actions.
[aml] Update Linux kernel to 3.10.33-9cfde0b
[g18] Update kernel configuration