Depending on the model, that's usually swappable with the left CTRL in the UEFI/BIOS settings.