“It appears that HP is actually shipping a Linux and then running DOS in a VM.”
Pick FreeDOS on an HP ZBook and you get Debian 9, booting a virtual machine, which boots DOS. That is three operating systems so HP can sell a laptop without a Windows license. Nobody wants DOS. The option exists to dodge the Windows tax, and HP built a Rube Goldberg machine to do it.