[amsat-bb] Better/best operating system for SatPC32?