For my knowledge is not possible to customize the way the HDMI CEC work depending on the functionality used on the receiver: it will always shut down the receiver if the tv is turned off. The only possible alternative I may suggest is to turn off the HDMI control and use a programmable remote (i.e. Harmony Logitech) set up according to your needs.