Problems with HDMI CEC w/ Philips TV

See CEC suddenly stops working - #8 by kid63. It may be related.