Updating kernel ps3 ubuntu