Yes, usually they are based on Windows CE, so not very efficient

I don't know if the newer models are still based on Windows CE, but I'm pretty sure the one in the 500x is.
It'd be interesting if someone could measure the start time with a chronometer.