Summary of changes: f12ea5e... Adjust for newer gnu-efi. (*) 28fad42... Update to 0.8 (*) (*) This commit already existed in another branch; no separate mail sent