# CONFIG_64BIT is not set
CONFIG_MARCH_G5=y
# CONFIG_MARCH_Z900 is not set
# CONFIG_MARCH_Z990 is not set
# CONFIG_IPL_TAPE is not set
CONFIG_IPL_VM=y