Porsche Automobil Holding SE has bought a stake of around 10% in the US technology company INRIX, a provider of real-time traffic information.