I'm interested in getting one of those mini-itx boards with the c3 processor but it seems only the 800MHz chip is available. Would anyone know when 1GHz or faster will be released in c3 form on a mini-itx board?