It was found that the driver_override implementation in base/platform.c is susceptible to race condition when different threads are reading vs storing a different driver override.
Introduced by commit:
Created kernel tracking bugs for this issue:
Affects: fedora-all [bug 1489079]
This was fixed in the 4.12.1 stable release and is on all currently supported Fedora releases.
This issue does not affect the versions of the Linux kernel as shipped with Red Hat Enterprise Linux 5, 6, 7 and MRG-2 as the code with the flaw is not present in the products listed.