Probably a dumb question... I'm using StellerMate OS on a RPi. What Linux kernel does it use? Thanks, RonRead More...