[linux-morello] Re: [PATCH v4 0/5] Handling of int arguments in fcntl()​