i#1551 port to ARM: update vsyscall code

No vsyscall support is needed for our ARM targets.

Review-URL: https://codereview.appspot.com/187610043