#undef CONFIG_USE_PORTABLE_CODE