config: CONFIG_AHCI_TEGRA is broken

Signed-off-by: Robert Nelson <robertcnelson@gmail.com>