avoid regenerate machine header files

[Sepherosa Ziehau]

Hi,

Following patch avoid regenerated machine wrapper headers if they are
already in place, this restore quickkernel's speed:
http://leaf.dragonflybsd.org/~sephe/config1.diff

Best Regards,
sephe

--
Live Free or Die