Stefan, sorry for not replying to this any sooner.
This one crashes in similar ways as before. However, there's one interesting development: fsck of the root filesystem succeeds in launching and it fixes errors. Then, the kernel crashes as follow:
BUG: unable to handle kernel paging request at ffffb4ff
IP: [<c01f595f>] __destroy_inode+0x6f/0x110
*pde = 00819067 *pte = 00000000
Oops: 0000 [#1] SMP
last sysfs file: /sys/power/resume
Stefan, sorry for not replying to this any sooner.
This one crashes in similar ways as before. However, there's one interesting development: fsck of the root filesystem succeeds in launching and it fixes errors. Then, the kernel crashes as follow:
BUG: unable to handle kernel paging request at ffffb4ff inode+0x6f/ 0x110
IP: [<c01f595f>] __destroy_
*pde = 00819067 *pte = 00000000
Oops: 0000 [#1] SMP
last sysfs file: /sys/power/resume