Re: [PATCH 2/3] Nokia RX-51: Document debugging options and compile command