Virt2real device drivers (ADC, GPIO, PWM, SW_PWM