BoardConfig: Change kernel-source and kernel-config path

Change-Id: I4a5a982f8fcd383b6fe8c2e2739f9ae3142ec898