Most Raspberry Pi Linux distros take around 10 seconds to boot. It can be made faster by using a tiny distribution or something like https://www.linuxfromscratch.org/ but it would be nice to find an OS geared towards gaming.