K 10 svn:author V 3 ian K 8 svn:date V 27 2014-05-14T18:25:13.335181Z K 7 svn:log V 219 MFC r260161, r260163, r260165, r260166, r260189 Add polarity and level support to ARM GIC Do not attach to PCI bridges in AHCI driver Use only mapped BIOs on ARM Fix race condition in DELAY for SP804 timer. END