removal of redundant woken_pid function

[goldencm]

I noticed that in the woken_pid.rs the add and push functions have the same functionality so I removed one to clear up the redundancy

[toku-sa-n]

Thank you!