The patches have been merged to SP2. Please reopen if you still see the issue with the fixed kernel. Thanks.