Previous: Set console keyboard layout
References:
After booting the live environment, execute
cat /sys/firmware/efi/fw_platform_size
If the command returns 64, then the system is booted in 64-bit x64 UEFI mode.
64
Next: Partition the disks