the marvell update does a few things including resetting bios settings, also updating its internal driver from what the site says that statio posted, go back into bios and change it from ide to ahci. Look under general system devices, where all the usb root hubs are.