Voltage Scheduling in the lpARM Microprocessor System