Both the init_timer() and timer_setup() APIs have been removed. This
script will not be needed any more.
Signed-off-by: Kees Cook <keescook@chromium.org>
(cherry picked from commit 9477b4ad70)
Change-Id: Ifaf91409c5360f5d1f3b24f924f009a28efd56e9
Signed-off-by: Tao Huang <huangtao@rock-chips.com>