> So maybe I can dual boot and get myself something like a Raspberry Pi Zero, but with one sixth of the RAM, and one twentieth the clock speed

:)