Homogeneize with other platforms' Makefiles; mainly adds the ability to compile a kernel with propolice disabled, and only disable the log() and printf() gcc builtins.
Homogeneize with other platforms' Makefiles; mainly adds the ability to
compile a kernel with propolice disabled, and only disable the log() and
printf() gcc builtins.

orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars