galaxysbmtd: board: update kernel defconfig filename

requires: https://gerrit.omnirom.org/8321/

Signed-off-by: Humberto Borba <humberos@gmail.com>
Change-Id: Ie4f89504511f9a58badbca8583c54c347e8dd3ff