Re: [PATCH 2/6] nokia_rx51: Correct tstc() implementation