kernel: Implement strstr().
kernel: Implement strstr().

Compilation for armv7 failed with the following error:

../kernel/string.c:33:1: error: function might be candidate for attribute
'noreturn' [-Werror=suggest-attribute=noreturn]

Instead of adding the attribute, I provided a simple implementation.

kishoredbn/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,mslovy/barrelfish,mslovy/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,utsav2601/cmpe295A,mslovy/barrelfish,8l/barrelfish,8l/barrelfish,8l/barrelfish,utsav2601/cmpe295A,utsav2601/cmpe295A,kishoredbn/barrelfish,utsav2601/cmpe295A,linusyang/barrelfish,BarrelfishOS/barrelfish,linusyang/barrelfish,BarrelfishOS/barrelfish,linusyang/barrelfish,mslovy/barrelfish,mslovy/barrelfish,utsav2601/cmpe295A,mslovy/barrelfish,8l/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,utsav2601/cmpe295A,8l/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,8l/barrelfish,linusyang/barrelfish,linusyang/barrelfish,kishoredbn/barrelfish