Linux kernel 4.15 is 7-9% faster than 4.11

KB4100347