linux-cubox-i: Add support for 3.10.30

This patch adds support for the 3.10.30 kernel from linux4kix, which will
eventually be merged into the stable SolidRun kernel repo.

Signed-off-by: Carlos Rafael Giani <dv@pseudoterminal.org>