Updating kernel interfaces