Update kernel building