Sound And Practical Methods For Full-System Timing Channel Control