Point #3 should be marked as done if we're good with the EFI32 support (and I think we're good). Maybe we should just move the "done" points to the dev-wiki, leave the "to do" points here (and also add them to the dev-wiki, but leave them here also for quick reference) and add a link to it?