fix kernel build params