kernel built instructions