boot.s: Fixing a type and minor cleanup.