Another fix to flodeb kernel build