So what?
Doesn't the camera manufacturer has more knowledge and more technical resources / alternatives to do that push with less image degrading consequences?
Are the camera designers to blame that their ISO setting implementation is worse than an accordingly pushed raw file at a lower ISO setting?