This specifies the locations of the different code and memory sections
in the tock binary, as well as other information about the application.
The kernel can also use this header to keep persistent state about
the application.