When passing the option *i8042.dumbkbd=1* during boot, the keyboard works fine, after sleep. However the caps and num lock indicators aren't turning off. Are there any other limitations of using this option while boot? Thanks.