i actually want to port coreboot to a netbook called hp mini 110-4100.If you need any info about my netbook just keep informing me.Do I need the proprietary bios .bin file for porting?