Heb het probleem van dual-boot inmiddels opgelost. Had gisteren Windows 8.1 maar eens hersteld en daarmee werd Linux dus gewist. Daarna opnieuw de dual-boot aangegaan om te kijken of het me dit keer wél zou lukken (wilde toch wel graag een dual-boot) en jawel. GRUB wilde nog steeds niet verschijnen na installatie maar dat was, middels een tip die ik vond, eenvoudig op te lossen. Bij deze dus voor wie tegen hetzelfde aanloopt dat de Windows-bootloader maar blijft verschijnen i.p.v. GRUB (mits UEFI maar wel met secure boot uitgeschakeld):
1 Open op Windows de opdrachtprompt als administrator.
2 Geef het volgende commando:
bcdedit /set "{bootmgr}" path \EFI\ubuntu\grubx64.efi
3 Herstart. Nu verschijnt GRUB wél en kun je Linux booten. Echter, Windows ontbreekt om een of andere reden in GRUB.
4 Open een terminalvenster op Linux en werk GRUB bij. Op *buntu en afgeleiden is dat:
sudo update-grub2
Op Antergos, Arch en aanverwanten is dit:
sudo grub-mkconfig -o /boot/grub/grub.cfg
5 Herstart. Nu kun je kiezen uit Linux en Windows in je GRUB