On 2017-12-19, Keith Keller kkeller@wombat.san-francisco.ca.us wrote:
I decided to give this a go, and so far so good. I did need to rebuild the rpm after updating the kernel version from the previous one to the current one, but from the page above it sounds like that's reasonably expected.
--keith