I have found that my EC chip is supported (ITE IT8518E). My netbook is hp mini 110-4100. How do I port coreboot for this netbook?