Issues involved in setting up a workstation/PC/Server Linux Kernel are the following:
 * [TBD]