I upgraded the kernel on db1100 (s5 standby master) and I suffered the issue we have seen at T216240: Reboot, upgrade firmware and kernel of db1096-db1106, db2071-db2092 - (the host not booting up), so we should try to upgrade BIOS and firmware, as we have seen that fixes those issues.
This host would require depooling before we can reboot it.
For now I have booted with the previous kernel: 4.9.88-1+deb9u1
Let me know when this can be done.