config-for-mba: update kernel 3.12.6 to 3.13.6