We should have a driver for reading/writing the external flash via the `HAL.Block_Drivers.Block_Driver` interface.