/* Dummy sfp-machine.h header for targets that don't need one. */