DICE_EXT_APP_SPACE
DICE_EXT_APP_SPACE, pointers,
section_addr = DICE_EXT_APP_SPACE + be32_to_cpu(pointers[12]) * 4;