7d0bc6360f17 ("firmware: arm_ffa: Assign the missing IDR allocation ID to the FFA device")