[LinuxBIOS] AMD64 serial setup