clarify where the built kernel will be found at