It doesn't look like those are available. But CPU chips are just compiled Verilog at this point, if you want sources for every last thing you'd have to move away from ARM entirely since it's a proprietary ISA. Maybe SiFive will release a fully open laptop sometime in the future.