WCET-Centric Software-controlled Instruction Caches for Hard Real-Time Systems