KDE 4.2, NEPOMUK and Linux distributions