That bug tracker is for AOSP code issues, not issues related to any specific device, so contacting customer support is the best route for the problem no matter who sold you the device.