vali: support for GPT disks

Driver - PS2:

 - Fix handling of key-presses, lock keys were not handled correctly. Removed dead VK_*. Optimized handling of key presses.

Vali:

 - Cleanup in structure
 - Minor updates to cmake

Disable smp for now, as there are some issues with ipi synchronizatio…

…n which are being worked on in a branch