I see, thanks for the explanation! As written in the other response, hopefully we'll see an EFI upgrade fixing it soon.