add Verizon kernel defconfig