Drilling of boreholes