f9-kernel: add helper for flashing f9.bin