ucert: update to latest git HEAD