int secondSize = image.getInt();
image.getLong(); // second_addr + tags_addr
int pageSize = image.getInt();
+ int dtSize = image.getInt(); //device tree size
int length = pageSize // include the page aligned image header
+ ((kernelSize + pageSize - 1) / pageSize) * pageSize
+ ((ramdskSize + pageSize - 1) / pageSize) * pageSize
- + ((secondSize + pageSize - 1) / pageSize) * pageSize;
+ + ((secondSize + pageSize - 1) / pageSize) * pageSize
+ + ((dtSize + pageSize - 1) / pageSize) * pageSize;
length = ((length + pageSize - 1) / pageSize) * pageSize;