After switching from SeaBios to OVMF the issue seems to be gone, indicating a problem with the former.
After switching from SeaBios to OVMF the issue seems to be gone, indicating a problem with the former.