Symbol: BOARD_PCI4520