This will be used by the boot GUI to only show relevant reboot options. We might add other HAL-ish things in there. Note that this is all internal stuff :)