# CONFIG_VMSPLIT_1G is not set