bios: Use the correct mask to size the PCI option ROM BAR