add option to load non-firefly default firmware; add option to load IEEE-754 half float constants