Double check if the (hopefully not locked) BIOS gives an option to customize the CTRL key. I had a previous work laptop which also got cute with the CTRL button, but thankfully did let you remap it.