I just remembered something mildly interesting: Remember that shitty Baytrail tablet I installed Linux on? When it shows the boot selector (systemd-boot), the countdown is a ridiculously high number. It does work correctly, so after 10 seconds it just boots automatically, but it shows something like 22853035945s. I wonder if it's because of the 32-bit UEFI?