rustc has no target for armv4t-none-eabi

[Lokathor]

There's a tier 3 armv4t-unknown-linux-gnueabi, but that's not quite what we want.

this would require a PR to rustc, which is naturally a horrible experience, so i'm going to put it off for quite some time probably.