Move machine-dependent configuration to config.mk