citadel/meta/conf/machine-sdk/x86_64.conf