hiya! What's the latest on the FreeBSD SoC support for the Jetson TK1? I was just handed one and I'd like to at least get -HEAD up on the thing. Thanks! -a