Fix kernel/object header