x86/cpu: Fix __x86_return_thunk symbol type