Some flash utilities for the XMOS StartKit