An alternative is to run hwinfo at boot.
Right click the Pump section and click Alert Settings.
You can define an alert if the pump runs below some value.
Still, I wonder why my BIOS shows double the actual rpm of the pump. Would be nice to show the real value, not that it matters so much given that the BIOS cannot control it.
In hwinfo, you should have a dedicated section for Kraken.
Looks like this:
If you cannot find it, make sure you have the latest hwinfo version.