Sommige systeem x-servers kunnen de SLES12 SP3 xen-kernel niet opstarten - Lenovo Flex System x440 Compute Node en IBM-servers - Lenovo Support BE