Fixes kernel build