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