Do ARM images properly

[Callisto13]

Right now they are just under experimental, but it should not be too tricky to do multi-arch image (just a couple of bits differ, mostly filename args).

Also for both ARM and 86 images we should try to put the kernel bin in the same location because right now that is another thing you need to remember to change when you use a different arch and it is very annoying.