Various files to use with the portiloop-coral board. Includes custom kernel, demo sound, devicetree, etc.