Re: [PATCH] fix to pcibios.c