futex: Mark get_robust_list as deprecated