Sorry, I should have done it long ago.
Anyway, I tried all day to fix, but no success. I can't boot unless I use invalid platform-id (I can actually boot without getting kp, but all I get is a black screen, which I cannot interact with). Also noticed that SSDT-KEYMAP (ACPI file for...