Make Makefile.ukvm safe to use with BSD make, sort of
Make Makefile.ukvm safe to use with BSD make, sort of

This is a temporary solution to avoid having to teach MirageOS about
"which make to use". It is not expected to work for including
Makefile.ukvm from other makefiles.

mato/solo5,Weichen81/solo5,Solo5/solo5,Solo5/solo5,Weichen81/solo5,djwillia/solo5,djwillia/solo5,mato/solo5,djwillia/solo5,mato/solo5,Weichen81/solo5