- add new option 'options BOOT_STANDALONE'
boot from standalone(not WinCE application) boot loader.
- add new option 'options SPEC_PLATFORM'
statically specify platid in config file.
In BOOT_STANDALONE case,
'options SPEC_PLATFORM=platid_mask_MACH_xxx_yyy',
and add 'options SPEC_MACH_xxx'&'options SPEC_MACH_xxx_yyy'.
for specify platid in config file statically'
In wince boot case, 'options SPEC_PLATFORM'
and add 'options SPEC_MACH_xxx'&'options SPEC_MACH_xxx_yyy' for
config level size optimization.
XXX: now I working in hpcmips...