[LinuxBIOS] General question about reset vectors