Linux kernel patch from Thomas Gleixner improves Postgres benchmark by 15%