[3eb7988a1663]

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.