Rename pic_ipi_get to pic_ipi_read for intrng.