Point kernel build for Mako at modified defconfig

Change-Id: Ic1a8042cfc5cae5c54de7f6cd36ad53ac3f514ea