Use Dhollmen kernel instead of stock one.