I have installed them on my current VM, which already has:
- all OS updates
- VBoxGuestAdditions_5.2.23-127309.iso
- kernel-plus-3.10.0-957.1.3.el7.centos.plus.ay1.x86_64.rpm.
Thank you so much @toracat!
One hopefully final question. Is there any potential long-term downside to applying any of these fixes? In other words, should I recommend this procedure to the rest of my team, or should we wait until a more formal solution is proven to work?