Sony has officially registered the PS6/PS7/PS8/PS9/PS10 trademarks