Since I'm not very experienced with EFI internals, this is part patch submission, part question. Does it seem correct? At least according to comments I could find in the code, it should work like this. See patch. -- Kristian