[dm800sev2] fix kernel boot issues