kernel fixes