kernel - Fix early boot interrupt race