linux: Enable kernel configs for SystemTap