I too cannot get the Marvel one to work (yes enabled in bios). So I use the Realtek port and never have any problems.