Re: [PATCH] RFC - change GPRS cipher API