Freddy May I know if my SER7 7480HS needs to have its BIOS updated since I am having problems booting, thanks