Raspberry kernel sources install script