man/man3/pmaddderived.3: add note that semantic checks are synchronous
man/man3/pmaddderived.3: add note that semantic checks are synchronous

adfernandes/pcp,adfernandes/pcp,adfernandes/pcp,adfernandes/pcp,adfernandes/pcp,adfernandes/pcp,adfernandes/pcp,adfernandes/pcp