You specifically cannot cash out with HKD. The only ActualMoney you can get out of Bitfinex at present is Taiwan NTD to a local account.