[PATCH 3/3] prctl,syscall_user_dispatch: add a getter for configuration info