Yeah, because there is none on the 8251.

[Linked Image from 8085projects.info]

According to the technical manual RXRDY and TXRDY are connected to the 8088 interrupts.