I am trying to enable ECC on a derivative E3845 PCB using the BCT/coreboot solution for the firmware. It works for the most part, but I am not seeing any indication that ECC is enabled. Do I need to change any settings in BCT other than "Bakersport-ECC" and/or "DDR3ECC"? Do I need to enable CH1?