I managed to get the keyboard recognized by libinput by booting with the kernel parameter `i8042.dumbkbd=1`. It still doesn't work but the root issue seems to be with i8042.
Same problem with the 15 inch model. Some hotkeys work fine, but most of the keyboard doesn't do anything. It works fine in the bootloader menu, though.