Fix mapphone_defconfig

The kernel didn't boot so we had to enable the right config options.