Boardconfig: Switch to non debug kernel

Signed-off-by: zombah <zombah@gmail.com>