x86: Implement atomic[64]_dec_if_positive()