5.4-litre V12 turbo engine of the Porsche 917/30