3 little things in Linux 4.10 that will make a big difference | InfoWorld