[LinuxBIOS] register_values question