the kernel if left untickled. Thanks to jmmv for the tip that doing this is possible in atf via means of fork/wait.