JLinux and EFI boot

New JLinux installations will from 2023-04-01 be installed in EFI mode instead of the traditional BIOS mode.
Existing installations will not be changed automatically, and there is no need to manually change to EFI boot as it adds no extra benefits for existing systems.

The main difference with EFI installations are:

GRUB behvaiour change

For systems running under EFI, GRUB updates will automatically update the EFI boot image if the partition is mounted at /boot/efi.

JLinux CD image

The JLinux CD image supports both BIOS and EFI boot