Update BoardConfig for new kernel

Change-Id: I52a03ab091105672524b26c600524fbb84124465