Or support to install kernel headers by apt-get install command. This will be convenient for users to develop drivers on board. Thanks.