Hello, I have made a bootable USB with Debian 10.9.0-i386-DVD-1.iso but it will not boot on a HP 400 G7 but works fine with a USB with Debian 10.9-amd64... I have tried also Debian 10.3 i386 with no success. Is it 64-bit issue? Is it something wrong with the BIOS in the HP? Do you know any new PC that can EFI boot a Debian 10.x i386 installation? Best Regards Kristian Trönnberg