ath6kl: add ath6kl_bmi_write_hi32()