New comment by xtraeme on void-packages repository

https://github.com/void-linux/void-packages/issues/18940#issuecomment-584006795

Comment:
I don't have any objection against PREEMPTY_VOLUNTARY and HZ=250 if it does not make a reasonable difference.

Why HZ=250? because this would make our kernels use shared options between archs.