kernel: add missing symbol CONFIG_AHCI_XGENE