Please give back check on kfreebsd-amd64, probably also failed previously due to #712196. Cheers Petr