Do they also provide source code for GPL-licensed parts (Linux kernel, u-boot)?