Update BoardConfig for new kernel

Change-Id: I8b2104401397905ab108dfc7885d6cae94126bac