Has anybody noticed in the manual is mentioned ASMedia 1142k on the motherboard drawing. Can anybody tell me why they would use an ASM USB 3.1 Gen 2 controller seeing as the Alpine Ridge does USB 3.1 Gen 2?. Are some of the ports controlled by the ASM and some by the Alpine Ridge?