The problem was that I didn't set the FIFO threshold register bits for the RX FULL interrupt. After doing that, the interrupt started to fire, and the interrupt RX Full bit at Raw Interrupt Register was getting set.

This was the needed line:

// UART_RXFIFO_FULL_THRHD 0-6 bits
  config_1_uart |= (rx_thershold << 0);