SlimPS3 is coming early September, will OS4 be bundled with it since it wont run Linux anymore (rumoured not to)?