[PATCH] Remove dead kernel config option AEDSP16_MPU401.