proprietary-open: jacinto6: update kernel module build instruction