Re: [LinuxBIOS] [PATCH][v3] Drop useless Makefiles