Update BoardConfig for new kernel

Change-Id: I81fe1159681678ab8675984e9ea7b1ecbaee9d04