On Fri, 2014-07-11 at 09:44 +0200, John Holland wrote: > > Off topic, but... > > > wondering if CONFIG_EFI_PARTITION is standard now-a-days? It's part of include/config_distro_defaults.h so any board which has opted into that should have it. But someone was reporting the other day on debian-arm that it didn't seem to work on sunxi, which has opted in, so perhaps there is more to it. Ian.