Not sure if that’s your case as well, but I remember that there was an issue with Intel Bay Trail tablets where the BIOS/UEFI was 32bit but the CPU could support 64bit OS just fine. You just need to get a special bootloader that will boot 64bit Linux kernel from a 32bit UEFI (which is not normally supported)
Not sure if that’s your case as well, but I remember that there was an issue with Intel Bay Trail tablets where the BIOS/UEFI was 32bit but the CPU could support 64bit OS just fine. You just need to get a special bootloader that will boot 64bit Linux kernel from a 32bit UEFI (which is not normally supported)
Here’s one reference github.com/dmotte/misc/blob/main/…/README.md - it should be possible for you to use a 64bit Debian, but you’ll need to get your hands dirty.