PDC_MODEL_NVA_MASK
if ((boot_cpu_data.pdc.capabilities & PDC_MODEL_NVA_MASK) ==
switch (boot_cpu_data.pdc.capabilities & PDC_MODEL_NVA_MASK) {