Do we need to patch the "stock" evox bios or is it OK to patch one with some of the settings changed (no logo, different boot links, etc.)?