Unbricking a Samsung Series 5 550 Chromebook

I recently tried to enable hardware VT extensions on my Chromebook using the Hacking VMX Support instructions on the ChromiumOS website and it didn’t work. Not only did it not work, I also had a second go at doing it, following the instructions verbatim (despite it leaving 3 “bad” instructions in there). This left me with …