Hardware detection in L4