Marvel v BIOSu vidět není a ani nemůže - je to přídavný řadič! Má vlastní BIOS. Z toho důvodu taky potřebuješ ovladač pro zavaděč a jádro systému.jak ovlivní marvel driver pro Win viditelnost SSD v Biosu??
Podívej se do manuálu, tam bude celá problematika popsána a vysvětlena, včetně postupu instalace OS na tomto řadiči (pokud je boot z něj vůbec podporován).
edit: z mého pohledu bych kombinaci marvel+SSD opravdu neriskoval.
edit2:
manuál kapitola 2.2.2