Added Linux/x86_64 kernel config link for CBL-Mariner