This function was left orphan by the latest round of sw-counter
cleanups.

[ Impact: remove unused kernel function ]
Signed-off-by: NIngo Molnar <mingo@elte.hu>