for building with the stock kernel