@evochkauwu Of course, but you can always find some used hardware and GNUboot it, or find a local GNUbooter (one Canadian quad core mods thinkpads).

The best freedom-respecting computer you can get for a reasonable price is the KGPE-D16 paired with dual 6282 SE's (or better) and lots of ECC RAM, but setting it up takes skill, different kinds of Chinese motherboards have different quality and ACPI S3 doesn't yet work, but those aren't much of an issue.


Also, I made a mistake. It seems that the logo images are stored in the ESP partition, which is a FAT32 R/W partition that can sometimes be written to without root access.