Some formatting improvements and minor code cleanup to boot.s