If the terminals are registered in IPBrick (IPBrick.I - Machines Management) you may personalize configurations for a terminal in the machines link (Figure 3.83) by selecting if the default options set in the top menu of configuration are going to be used.
After loading the boot system(s) and the operating system(s), you should click Back and Terminal OS and choose the Kernel and the Operating System you want to use.