Driver core: coding style fixes