[kbuild-all] Re: [PATCH 02/10] efi: Add a helper function to split 64-bit values