Doubts about Debian8.1 DVD ppc64el image

[Ramon Medeiros <ramonn@linux.vnet.ibm.com>]

Hi Debian CD team,

i am a Developer of Kimchi (https://github.com/kimchi-project/kimchi), 
and we make some checks on the ISO before installing it. Our algorithm 
is failing to discover if this iso[1] is bootable. BTW the iso is 
booting and working normally. Did something changed on it?

Thanks guys.


Sources:
1 - 
http://cdimage.debian.org/debian-cd/8.1.0/ppc64el/iso-cd/debian-8.1.0-ppc64el-CD-1.iso 


--

Ramon Nunes Medeiros
Kimchi Developer
Linux Technology Center Brazil
IBM Systems & Technology Group
Phone : +55 19 2132 7878
ramonn@br.ibm.com