How would you design a firmware solution for a UART receive interrupt using a circular buffer at Anara?