Symbol: rpi_firmware_set_power