Small updates to device driver lib