start_image 230 include/linux/efi.h u32 start_image; start_image 278 include/linux/efi.h u64 start_image; start_image 332 include/linux/efi.h void *start_image;