Keyboard controller is part of the EC firmware. @nrp posted this before elsewhere:
We own the embedded controller firmware, which is based on Chromium EC, and we’ll be releasing the source soon.
Which means customizing it should be possible, although not a trivial task.
Even now though, there should be an option to swap these keys in the BIOS setup, in the Advanced menu (I don’t have the laptop so can’t check):
Form: Advanced, FormId: 0x1 {01 86 01 00 8C 1A}
One Of: Swap Ctrl-Fn, VarStoreInfo (VarOffset/VarName): 0x91, VarStore: 0x1234, QuestionId: 0xA, Size: 1, Min: 0x0, Max 0x1, Step: 0x0 {05 91 71 1A 72 1A 0A 00 34 12 91 00 10 10 00 01 00}
One Of Option: Normal, Value (8 bit): 0x0 (default) {09 07 73 1A 30 00 00}
One Of Option: Swap, Value (8 bit): 0x1 {09 07 74 1A 00 00 01}