New comment by pullmoll on void-packages repository

https://github.com/void-linux/void-packages/issues/11570#issuecomment-490947902
Comment:
Oh, your `xuname` prints `4.19.37_1` while we are at `4.19.41_1` already and it has [been registered in the aarch64 index](https://build.voidlinux.org/builders/aarch64_builder/builds/19639/steps/shell_3/logs/stdio). Must be something wrong with the builders not updating the aarch64 packages in the repository.