[LinuxBIOS] Question About AMD board and BIOS programmer for LinuxBIOS