Merge branch 'fix/eva/user-manual-garbled-mix' into 'stable/copper'

[Eva] Updates user manual with the new garbled mix origin Misaligned writes.

See merge request frama-c/frama-c!4630