Answering to note 7,
From 12 boot sequences (there was 2 seconds waiting in power-off mode before starting the next boot), the results where:
Kernel 4.4.0-83.106 crashed on boot (with the same error) 5 out of 6 times.
Kernel 4.4.76-040476 crashed 0 (zero) out of 6 times.
Looking good for 4.4.76-040476!
PS: No errors while installing kernel 4.4.76-040476, and virtualbox seems fine running too, although not relevant for now.
Answering to note 7,
From 12 boot sequences (there was 2 seconds waiting in power-off mode before starting the next boot), the results where:
Kernel 4.4.0-83.106 crashed on boot (with the same error) 5 out of 6 times.
Kernel 4.4.76-040476 crashed 0 (zero) out of 6 times.
Looking good for 4.4.76-040476!
PS: No errors while installing kernel 4.4.76-040476, and virtualbox seems fine running too, although not relevant for now.