Add stub for posix_clock_available and rename constants with POSIX_ prefix