Fix ahci driver 'flags' type