Changed platform-detection to /proc/cpuinfo, not yet tested