Re: Question regarding RT patches for ARM