[PATCH 21/21] linux: Align ARM kernel configurations as much as possible