Can you upload that sys.bin? I used to work with GW2012 and sys.bin was just fw_all.bin. I'm pretty sure the situation is the same with HWID712.
I.e. we don't have boot.bin until we find some GCD file.
But maybe we can use boot.bin from HWID265?