Changed boardconfig.mk for new kernel

Change-Id: I1d79da1eb06e97b217adf6bfe3b2ebbde3b229f7