[PATCH kernel-4.19 2/5] x86/config: Set CONFIG_TXGBE=m by default