Patch "devpts: fix error handling in devpts_mntget()" has been added to the 4.15-stable tree