I have an old Dell TB16 dock lying around that I don't use anymore. Does anyone know if it's possible to install Linux on this thing? It'd be nice to use it as a server, since it's got a reasonably small form factor and already has a gigabit ethernet port.