Question regarding RT patches for ARM