cambiar perfil de Karabiner

Sí, para ello debes usar la herramienta de línea de comando de Karabiner y pegar lo siguiente en el archivo de private.xml:

<vkopenurldef>
<name>KeyCode::VK_OPEN_URL_SHELL_switchprofile_newitem</name> 
<url type="shell">
<![CDATA[ /Applications/Karabiner.app/Contents/Library/bin/karabiner select_by_name NewItem ]]> 
</url>
</vkopenurldef> 
<item>
<name>Switch Profile to NewItem with F4</name>
<identifier>private.switch1</identifier> 
<autogen> __KeyToKey__ KeyCode::F4, KeyCode::VK_OPEN_URL_SHELL_switchprofile_newitem </autogen> 
</item>