K_COPY_IMAGE_END
NEXT_PAGE(K_COPY_IMAGE_END - K_COPY_IMAGE_START)
K_KERNEL_IMAGE_START, K_COPY_IMAGE_END))
uncompressed_image_end = K_COPY_IMAGE_END;