Clarify that struct intr_frame is on the kernel stack.