Kernel and U-Boot sources for the Ionics Stratus plug computer