Add-on PS3 HDD will run Linux