Changed boardconfig.mk for SimpleKernel

Change-Id: Ia1f2edfe8db226264ee1dbe4b1a75098e1f2fab0