I can't see any reason to keep these semicolons.
Signed-off-by: NWANG Cong <wangcong@zeuux.org>
Signed-off-by: NIngo Molnar <mingo@elte.hu>