[Openamp-rp] [OpenAMP/libmetal] 5a87db: nuttx: Add missing include header in IRQ implement...