Help regarding RT kernel on ARM v7