piCore 3.10 linux - how to ignore cec

Hello everyone, I'm trying to get my PiCorePlayer (v3.10) to stop issueing cec commands. Everytime I restart my player, my TV switches to the HDMI output from the Pi player. In looking around, I've found these Pi config commands:

hdmi_ignore_cec_init=1
hdmi_ignore_cec=1

My question is where this should go?

I tried "usr/local/sbin/config.cfg" - backed up data, rebooted, no luck
I tried "opt/bootlocal.sh" - backed up data, rebooted, no luck

Maybe bootcodes? Looked at that under beta, see the bootcodes, but don't see a way to enter add bootcodes...

Any ideas? Thanks, Ken