Ah yes, here we go:
> You can use the nvramtool to modify the Libreboot ROM so you can swap Fn and Ctrl.> The command should be something like below.
sudo ./nvramtool -C libreboot.rom -w fn_ctrl_swap=Enable
I'll look up some nvramtool docs later to double-check what the actual command is.