How long does a kernel recompile take?