Der er ikke noget der heder et Nvidia hd 4000, men der findes et Intel hd 4000 og et AMD hd 4000, da AMD kortet er temmelig gammelt og du siger du kan skifte imellem 2 så er det nok et Intel hd 4000 og et Nvidia 620M de er i din maskine.
Nvidia har valgt ikke at understøtte at man kan skifte mellem grafikkort under Linux så det vil kun være dit Intel HD 4000 der virker. Installere du Nvidia Driveren ender du højest sansyneligt med en sort skærm. Der findes dog projekter der har fået det til at fungere, præsis hvorgodt ved jeg dog ikke:
https://wiki.ubuntu.com/BumblebeeLidt teknisk forklaring om hvordan "skiftet" fungere på morderne sysemer:
Det er kun Intel kortet der har en skræm tilsluttet, nvidia kortet skal der for sende billedet til Intel kortet som så sender det til skærmen, det er denne feature Nvidia har valgt ikke at implementere i deres Linux driveren. Ved ældre systemer kunne man skifte mellem hvilket kort skærmen var sluttet til fra BIOS hvilket fungerede fint under Linux.