bdb8742dc6f7 ("firmware: arm_scmi: Fix range check for the maximum number of pending messages")