Updated manifest to use correct branch for kernel.