It's obviously important to cater to newbies, but I think we still have enough eMMC space to include a few useful things for developers as well. For one, I think it makes a lot of sense to include in the default distribution a copy of the kernel sources and .config file corresponding to the...