Added some hacks to AHCI to get it working

Marvell 88SE9235 SATA controller now works on POWER8.
There is an issue with DMA addresses over 0x7FFFFFFF.
The root cause is until unknwon. For now, AHCI DMA is being limited,
to used only addresses below the above threshold.