pthsem: Add linux 4.x to supported platforms