Readme formatting, using precise64 and fixing boot