I just have learned about the current status:
There is a project to integrate the hotfix into the next Jumbo, but right now it is only a development build. There is an available port for Jumbo Hotfix take 78 - a bit dated, but still should be usable.
By the way, there is also a workaround to Disable HTTP2 so that it behaves similar to R80.30 or lower:
# ckp_regedit -a SOFTWARE\\CheckPoint\\FW1 IGNORE_ALPN_EXTENSION 1
# fw fetch local
To re-enable HTTP2:
# ckp_regedit -a SOFTWARE\\CheckPoint\\FW1 IGNORE_ALPN_EXTENSION 0
# fw fetch local
So Jumbo Hotfix take 78 and the HF fw1_wrapper_HOTFIX_R80_40_JHF_T78_810_MAIN_GA_FULL.tgz for sk169375 are the current solution apart from R81.
I hope it is correct to share this here - i will remove it if not 😎
CCSP - CCSE / CCTE / CTPS / CCME / CCSM Elite / SMB Specialist