BOOT_ARCH = x86
PLAF_DLL_OBJS += vmpp/cpu-x86.32.o
# gcc bug workaround
CFLAGS += -fno-builtin-strlen -fno-builtin-strcat