Update boot.s