Symbol: RPI_FIRMWARE_GET_MAX_CLOCK_RATE