[coreboot] Swapping Ctrl and Fn on X200