sunxi: Use the available Kconfig option for AHCI