OpenCL: Print AMD-specific "board name" along with device name.