[PATCH 6/7] x86/vdso: Mark the vDSO code read-only after init