BoardConfig: Update defconfig name for new kernel
BoardConfig: Use plain caf/kk_3.5 HALs