Gigabit LAN driver problem

Have you seen my link above, which points to some undocumented stuff about RTL8211F? Was there any useful info to be tried?