The manual for the STM32F415 says that the BOOT1 signal "...is shared with a GPIO pin", but it doesn't say actually which pin. CubeMX does not show it either. I've seen online that at least for some other MCU's in the F4 range, BOOT1 is mapped on PB2...