Patched kernel for board