Ah, I guess you're right. I'm considering buying an Odroid, maybe startup will be a bit faster (hopefully it's not this bad for all ARM devices)