BOOT_FLASH attached to a pin?

@shensley, RebootToBootloader() is very interesting! I am not sure though, which file to include to be able to use NVIC_SystemReset()? Tried grep but I don’t understand the results (or rather, which header to include).