In Debian / Kicksecure / Whonix: VirtualBox guest addition sourced from
Debian packages should totally replace the need for guest additions from
iso.
I wonder if VirtualBox guest additions will still be required in newer
kernel versions when
lands. Maybe by then VirtualBox guest additions are better not installed.
Please help testing that in