Hi,
I have the exact same motherboard, (running F7 Bios I think).
I use the RealtekRTL81xx.kext that was recently released, and it works great. Good speeds on Gigabit ethernet, and everything works well.
Remove the old realtek driver, install the new one, rebuild your extensions, and...