Tobias Geerinckx-Rice wrote:
>>> * gnu/packages/linux.scm (%default-extra-linux-options): Move
>>> obsolete
>>> CONFIG_DEVPTS_MULTIPLE_INSTANCES option…
>>> (linux-libre-4.4): …here.

[…]

>> As long as things still work after this patch, go for it!
>
> AFAICT: yes.

Pushed as 8b4e76249a4d1b4af5da6a8b07f4fb3c92234c07.

Kind regards,

T G-R