Looks like a good upgrade to an xmbc on raspberry pi. This might be a stupid question but does anyone know if HDMI-CEC would work on it? I want to be able to use my tv remote just like on rpi.