nominatim: chef up kernel scheduler tuning