K 10 svn:author V 3 imp K 8 svn:date V 27 2016-10-13T06:56:23.082088Z K 7 svn:log V 241 Fix building on i386 and arm. But 'public domain' headers on the files with no creative content. Include "lost" changes from git: o Use /dev/efi instead of /dev/efidev o Remove redundant NULL checks. Submitted by: kib@, dim@, zbb@, emaste@ END