Re: [LinuxBIOS] [PATCH] fix the resource size