Exploiting Memory-Boundedness in Energy-Efficient Hard Real-Time Scheduling