KDTRACE_FRAME is for amd64 only