A BIOS mod may fix the problem. I don't see the the lack of ICH9R southbridge as the root cause of the double boot found in IP35-E. Probably sloppy BIOS programming due to the IB9 legacy.