Molti pc danno lo stesso problema... Il mio portatile da anche un bel "bios bug #81"... Sinceramente non ho idea del motivo, ma non mi sono mai preoccupato molto perchè, come hai detto tu, poi tutto funziona... Se qualcuno conosce il motivo, la cosa interessa anche a me...