Cito parte del tread:
“64-bit BARs mapped above 4GB are not currently supported; this is due primarily to traditional limitations in most Linux kernels and X servers.”
In realtà leggendo bene ho visto che è un bugs del bios, in realtà di molti bios (cercando in rete ho letto più persone con notebook di diverse marche che avevano lo tsesso problema) Ora controllo meglio e ti faccio sapere.
Grazie!