DEFINE_IMAGE_LE64
DEFINE_IMAGE_LE64(_kernel_size_le, _end - _text); \
DEFINE_IMAGE_LE64(_kernel_flags_le, __HEAD_FLAGS);