I've noticed a small issue with this bios version, vt-x is disabled regardless of the setting in the bios. It makes running virtual machines quite a bit slower. Would it be possible to fix this somehow?