buildworldが28分、buildkernelが7分……
以前はもうちょっとかかっていたはずだが……不安