# CONFIG_ACRN_GUEST is not set