NFSv4.1: integer overflow in decode_cb_sequence_args()