tests/simple_manual/kernel now works for kc705