kernel: use 'deathly_falcon_defconfig'

Change-Id: I8c9a5eb30144b17c1b9fe916cd9663b1a192fd7f