Configuring Service Processor Devices