Comment 5 for bug 1860231

This model file is used to build both the spread test image and the manually built image. The two generated images, however, seem to behave differently regarding the conditions leading to the crash: while it always happen in the spread test, higher KDF iteration times values allow the encrypted device to be opened correctly in the image created using the steps described in the bug description.

Michael Vogt also reports that the crash doesn't happen in a classic system running the same kernel version.