Use function versions of MPX_UMULN and MPX_UADDN.