Revert sstOSMachine to pc-1.3 since mouse is broken on Linux with pc-*-1.4