Unikraft doesn't boot on Firecracker v1.8.0-dev

[Krechals]

Describe the bug

Firecracker v1.8.0-dev introduced a "minimal ACPI support": firecracker-microvm/firecracker#4428.
With that PR, Unikraft triggers the following assert when booting:
[ 0.000000] CRIT: [libkvmplat] <memory.c @ 389> Assertion failure: ml->flags == mr->flags

However, the booting issue doesn't seem to happen anymore when reverting 9752592.

Steps to reproduce

Run helloworld-c on firecracker v1.8.0-dev (092d90a9eac2cbadfd98095500d36cf7ce518589)

Expected behavior

Unikraft boots and prints "Hello World"

Which architectures were you using or does this bug affect?

x86_64

Which platforms were you using or does this bug affect?

kvm

Relevant log output

No response