HP porting venerable Nonstop server platform to x86