Hi This may be an old problem but the hotkeys for brightness do not work on the samsung nc10 is there a fix for this?