linux-boundary (3.10.17): Move to GA kernel (srcrev 731f96)

Update Boundary Devices' linux kernel to one based on FSL's 3.10.17_1.0.0_ga
instead of 3.10.17_1.0.0_beta.

Signed-off-by: Eric Nelson <eric.nelson@boundarydevices.com>
Signed-off-by: Otavio Salvador <otavio@ossystems.com.br>