Merges the tx kernel audit fixes to next by cherry-picking their commits:

• Assert foreign account ID #2560
• fix: overlap in active and initial storage slot memory section #2557
• fix: link map entry pointer validation bypass #2556

Each commit needed a little bit of tweaking which is why the commit hashes do not match. The changes were:

• Do not touch generated files (e.g. kernel proc hashes, no longer committed)
• Adapt the fix from Assert foreign account ID #2560 to the new stack layout after the LE migration.
• Make assert_entry_ptr_is_valid private (was pub, doesn't need to be).

PR should not be squash merged. Ideally we can use GitHub's "Rebase and Merge" to keep history clean.