Danke, das hatte ich auch schon gelesen und habe aufgrund dessen auch nicht vor, Linux darauf zu installieren.
Meine Vorstellung ist eher die, bootfähige ISO-Images über Easy-BCD in den Windows-Bootmanager einzubinden, was aber mit den UEFI BIOS-Einstellungen des C11 nicht funktioniert...