Simple module for Linux kernel implements software PWM (Pulse width modulation) on Raspberry Pi