Re: [tip: timers/vdso] vdso/datastore: Allocate data pages dynamically