* Ben Hutchings <ben@decadent.org.uk> 2018.07.18 23:28: > No, I don't believe the default has changed. I was suggesting that > perhaps that parameter had been changed on this system before the > reboot. Well I haven't changed it. There is a recent ticket submitted (for another Kernel) which seems to indicate it has been changed upstream: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1772775 Regards Thomas