Update BoardConfig for new kernel

Change-Id: Ib0dc083763a16966b68d3667acb1e0ae4eb32fcf