[RFC PATCH v2 41/56] x86: Fix monitor base for split config