Modifying kernel drivers for testing