Yo no tuve que parchearlo, en la iso venía ya parcheado, si te fijas tienes el archivo delaultxbe.old, que es el original, y te viene el default.xbe que ya está parcheado, o eso creo. Intenta a probarlo sin parchear primero.
A mi me funcionó sin ningún problema, sin tener que parchear nada.
Salu2