p1: board: update kernel defconfig filename

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

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