[LinuxBIOS] reset16 vs reset32