add a few missing kernel config symbols