Do I need both VoodooPS2 and VoodooSMBus? This an image of the input devices of my HP Laptop (got booted to recovery but touchpad not working) which kexts do I need?