cherry-pick rump_boot_etfs_register()
Source for buildrump.sh git rev 83075beb07fa1960d68e0c0bfbff3bb5595fae8b
note rump_boot_etfs_register()