Update x86-boot.s