US to get 10% stake in Intel: Trump