[okl4-developer] A small problem about enabling VFP

[Guanghui, Cheng]

Hi:
	I find that OKL4 could support floating point hardware but there is an option 
CONFIG_ARM_VFP in the arch/arm/pistachio/src/vfp.cc. It means the VFP is 
enabled only if there is an CONFIG_ARM_VFP definition when we compile. But i 
don't how to enable it. Definitely there are lots of similar options in the 
OKL4 source code but i don't know how to configure it.
	does anybody give me hints to find the OKL4 kernel configuation file?
	Thanks a lot.
											Cheng Guanghui