Simple Linux driver for HC-SR04 ultrasonic sensor