Re: Assembler bug blocking Thumb-2 kernel builds