Re: cedega sdk for intel set-top boxes?