Re: [BULK] [LinuxBIOS] ROMCC bug