added ps_modules_name constant to board configuration at board/known to optionally define the name of the platform specific modules table