Hello,
This message is directed to Check Point employees; it's regarding sk153253. The solution of this SK says that the issue with the mentioned kernel messages has been resolved due to "code improvement". However, it seems like that you still need to contact the support in order to receive a hotfix for this issue. It has been resolved on the 13th August. In the meantime R80.20 Jumbo HotFix - Ongoing Take 103 has been released [at 26 August 2019]. Does this take include the fix related to sk153253? The List of resolved issues per HotFix does not include any information, thats why I am wondering and asking.
If it really is not included, what are the plans for the future? Will the next release include this fix and also; is there an approximately time window for the release?
Thanks and best regards.