Frequency Scaling in Real-Time Scheduling on Multiprocessors