Re: [CentOS] Getting a boost patch into RHEL 7