[linux-morello] [PATCH 0/4] Handling of int arguments in fcntl()