Fixing some formatting issues in boot.s.