Assembler bug blocking Thumb-2 kernel builds