Fix in new-boot code (for gcc assembler)