This MR updates the examples to use the latest symex and changes the target to armv7em to allow analysis of the nrf52840 code.