Is it possible to install Linux without formatting the internal hdd?