100babf0e0439262a601b6f0f6070278777cecbe
Also removing minix-config.inc and placing its content in Makefile.inc, as the file is modified anyway. Simplifies diff. Change-Id: I6262fdb790a5455b59e07acdccdc221fd5dd41f8
Description
No description provided