Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework