Build local APIC model and move last remaining config option to model/config.h. Fixes #3