Samsung NC10 hack: Adding an extra PCIe slot