[PATCH kernel-4.19] arm64/config: Set CONFIG_TXGBE=m by default