powerpc: mpc85xx: Convert CONFIG_SYS_FSL_NUM_LAWS to Kconfig option