[xen master] mini-os: Fix stubdom build failures