use rump_boot_etfs_register() for firmware