Dag-Erling Smørgrav 0f8284dd89 Look for /boot/config in addition to /boot.config, with the former taking ... precedence over the latter if it exists. MFC after: 3 weeks		2011-10-18 09:46:52 +00:00
..
boot2
Makefile.inc