Yes, I tried this on a tablet and it works. However I found systemd-boot friendlier to use at boot time, because you don’t have to go into firmware to pick an

Yes, I tried this on a tablet and it works. However I found systemd-boot friendlier to use at boot time, because you don’t have to go into firmware to pick an entry (kernel). And can edit config on disk. But on a typical boot it works just fine either way.