BoardCommonConfig.mk: fix kernel pagesize
proprietary-files.txt: sync to proprietary vendor