Samsung NC10 hack: Adding Broadcom HD decoder to enable HD video