Work around ICE firmware bug