I see, thanks for the explanation! Hopefully we'll see an EFI upgrade fixing it soon.