There are two entirely different concepts at work here. One is the requirement of a refund of the fare difference and the other is a discretionary customer service gesture for the inconvenience.
The refund comes from the marketing/ticketing carrier and is paid in the original form of payment. In this case avios. The customer service gesture is in CX's discretion and represents the HKD400 from the gate agent.