Synchronize avxffms2 with upstream r753