hw/hppa/machine: Correctly check the firmware is in PDC range