They are part of MachineConfig, which is a field. In the follow-up, this will be improved.