Thats what I was thinking. However, when I found the drivers
for my laptop, there were no drivers for keyboard shortcuts. Here is the list of drivers that are available. Would any of these do the trick possibly..?
, SATA AHCI driver, Intel iAMT driver, Audio driver, card reader driver, rapid start driver, touchpad drivers, vga driver, wireless LAN driver