I don't see yet any use case beyond using this on any other cpu than x86_64-linux..., maybe in future when risc64 takes over :) So let's keep it simple for now