Fix derp with kernel build x_x