Will this bios work on the non pro version of the IP35 ?