Re: [LinuxBIOS] [PATCH] make vs. make checkpir