coq_HEAD: update to latest Git HEAD
openafs: fix on kernel 3.16 with upstream patches