Re: [LinuxBIOS] reset16 vs reset32