HP Spectre x360 11th Gen Intel - keyboard bug

I am facing a known problem with the HP Spectre x360 with 11th gen Intel CPU:

After boot or resume the keyboard may fail to respond for up to 30 seconds. This is due to a bug in the i8042 emulation provided by the firmware.
See 2.5 here: HP Spectre x360 (2020) - ArchWiki

This links to the following solution:

I am not sure how to apply such a solution for Silverblue, or if it would even have an effect for Fedora, since it is documented on Arch Wiki ?