Hello, I have the same issue. First everything worked fine, then I did an ‘apt upgrade’ and now /dev/piControl0 is missing. I followed the instruction you described with the ‘apt upgrade raspberry-kernel’: didn’t solve the issue. Then I completely re-installed the revolution pi with the newest image...