Adding an automatic proper platform for some systems we know

That eases the burden of having to always set the platform at
least in the non-pc pure nixpkgs platforms.