Attempting to resolve kernel build issues