diff --git a/kernel/README.md b/kernel/README.md
index c049643..5e5a7d0 100644
--- a/kernel/README.md
+++ b/kernel/README.md
@@ -1,6 +1,7 @@
 ### Reverting 'ACPI: Execute _PTS before system reboot'
 
 Starting with kernel v4.8 a bug as been introduced that prevents a correct shutdown/reboot of the machine.
+Bug has been fixed then in 4.9rc7 and kernel 4.9.0 should not be affected by the issue anymore.
 
 The bad commit is:
 
@@ -10,7 +11,8 @@ ACPI: Execute _PTS before system reboot
 ```
 
 All kernels from 4.8.0 are affected at the moment. A special thanks to **Giampaolo** on *kbz* for bisecting sources down to the root cause.
-An `rpmbuild` compatible patch and an updated `spec` file are provided for reverting this commit. Binary *rpms* will be available soon.
+An `rpmbuild` compatible patch and an updated `spec` file are provided for reverting this commit. Binary RPMs for F24 and F25 are available at
+https://daniele.vigano.me/files/5e366c91-41ac-4e43-be8e-15139c0463b1/
 
 ### More info