This is not so cross-platform part of the code, it is Linux-only. Why I'm leaving platform.processor() requests is because most of the people are not facing this issue (or I am wrong and we have many people discussing my bugreport?),  so I left default implementation and when it fails - I'm trying different approach.