documentation for the pibootctl utility

 pibootctl is a utility for querying and manipulating the boot-loader
 configuration of the Raspberry Pi, i.e. config.txt and associated files on
 the boot partition.
 .
 This is documentation for the utility.