Building 2.5 kernels on 8.0