Update BoardConfig for new kernel

Change-Id: I72fdbe5575caec522313ab96c5e3981a0a9d3131