Hi,   I read that Google Home sports a Marvell 88DE3006 Armada 1500 SoC. Would it be totally crazy to port a Linux distro to it?