However, once I rebooted I did not get the kernel message [ 0.000000] Hypervisor detected: ACRN
I only get these: [ 5.759483] ACRNTrace: acrn_trace: not support acrn hypervisor! [ 5.766132] ACRN HVLog: acrn_hvlog: not running under acrn hypervisor!
This means you boot sos kernel directly without ACRN.
That I figured out already yes.
But why? (installer did not show any issue, the only thing which seems suspicious is the EFI bootorder as I described) And how to fix this?