After waiting for the 104MB package to download (presto made it 27MB due to having certain parts in my cache from before) and install, my computer is up and running Fedora 17 with 3.6.6 kernel and the proprietary drivers installed. However, for whatever reason, lsmod states I'm using pata_marvell again instead of sata_marvell, which isn't that much of an inconvenience, as only my Blu-Ray drive is hooked up to it, but that shouldn't happen. Maybe it replaced one of the kmods that had blacklisted pata_marvell?