BUILD_HEAD=a9c3bb11
skip taskswitch (test kernel not present)