kernel: use osx stat command