[venton] add micon update to machine/include/venton.inc