Owner key history for picokernel