s390: add support for IBM zBC12 machine