K_COPY_IMAGE_START
NEXT_PAGE(K_COPY_IMAGE_START + KERNEL_SIZE + PAGE_SIZE)
NEXT_PAGE(K_COPY_IMAGE_END - K_COPY_IMAGE_START)
uncompressed_image_start = K_COPY_IMAGE_START;