UEFI boot not working in 3.1 final

[JMan]

In Porteus 3.1 rc2 the uefi boot worked very good but in 3.1 Final it failes to load the kernel and the bootloader gives the following information:

Starting vmlinuz
Using load options 'initrd=/boot/syslinux/initrd.xz'
invalid loader file!
Error:not found while loading vmlinuz

If i use the kernel from porteus 3.1 rc2 it loads as it should. The way i see it the problem seem to be in the new kernel in 3.1 final.

[fanthom]

the ISO has been updated for this issue over the weekend so please download it once again.
sorry for inconvenience.

[JMan]

Yes thank you. After redownloading the UEFI boot works as it should again. I hope it could also support secure boot in near future.