Current OS: Windows 10
Currently my windows has a 100 MB efi system partition, however, I would like to create a bigger one instead (550 MB) so that when I install Archlinux as a dual boot, I could...